3.11.16 \(\int (a+b x)^5 (a c+b c x)^3 \, dx\) [1016]

Optimal. Leaf size=17 \[ \frac {c^3 (a+b x)^9}{9 b} \]

[Out]

1/9*c^3*(b*x+a)^9/b

________________________________________________________________________________________

Rubi [A]
time = 0.00, antiderivative size = 17, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.111, Rules used = {21, 32} \begin {gather*} \frac {c^3 (a+b x)^9}{9 b} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(a + b*x)^5*(a*c + b*c*x)^3,x]

[Out]

(c^3*(a + b*x)^9)/(9*b)

Rule 21

Int[(u_.)*((a_) + (b_.)*(v_))^(m_.)*((c_) + (d_.)*(v_))^(n_.), x_Symbol] :> Dist[(b/d)^m, Int[u*(c + d*v)^(m +
n), x], x] /; FreeQ[{a, b, c, d, n}, x] && EqQ[b*c - a*d, 0] && IntegerQ[m] && ( !IntegerQ[n] || SimplerQ[c +
d*x, a + b*x])

Rule 32

Int[((a_.) + (b_.)*(x_))^(m_), x_Symbol] :> Simp[(a + b*x)^(m + 1)/(b*(m + 1)), x] /; FreeQ[{a, b, m}, x] && N
eQ[m, -1]

Rubi steps

\begin {align*} \int (a+b x)^5 (a c+b c x)^3 \, dx &=c^3 \int (a+b x)^8 \, dx\\ &=\frac {c^3 (a+b x)^9}{9 b}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.00, size = 17, normalized size = 1.00 \begin {gather*} \frac {c^3 (a+b x)^9}{9 b} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(a + b*x)^5*(a*c + b*c*x)^3,x]

[Out]

(c^3*(a + b*x)^9)/(9*b)

________________________________________________________________________________________

Mathics [B] Leaf count is larger than twice the leaf count of optimal. \(92\) vs. \(2(17)=34\).
time = 2.03, size = 90, normalized size = 5.29 \begin {gather*} \frac {c^3 x \left (9 a^8+36 a^7 b x+84 a^6 b^2 x^2+126 a^5 b^3 x^3+126 a^4 b^4 x^4+84 a^3 b^5 x^5+36 a^2 b^6 x^6+9 a b^7 x^7+b^8 x^8\right )}{9} \end {gather*}

Antiderivative was successfully verified.

[In]

mathics('Integrate[(a + b*x)^5*(a*c + b*c*x)^3,x]')

[Out]

c ^ 3 x (9 a ^ 8 + 36 a ^ 7 b x + 84 a ^ 6 b ^ 2 x ^ 2 + 126 a ^ 5 b ^ 3 x ^ 3 + 126 a ^ 4 b ^ 4 x ^ 4 + 84 a
^ 3 b ^ 5 x ^ 5 + 36 a ^ 2 b ^ 6 x ^ 6 + 9 a b ^ 7 x ^ 7 + b ^ 8 x ^ 8) / 9

________________________________________________________________________________________

Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(113\) vs. \(2(15)=30\).
time = 0.12, size = 114, normalized size = 6.71

method	result	size
gosper	\(\frac {x \left (b^{8} x^{8}+9 a \,b^{7} x^{7}+36 a^{2} x^{6} b^{6}+84 a^{3} x^{5} b^{5}+126 a^{4} x^{4} b^{4}+126 a^{5} x^{3} b^{3}+84 a^{6} x^{2} b^{2}+36 a^{7} x b +9 a^{8}\right ) c^{3}}{9}\)	\(91\)
default	\(\frac {1}{9} b^{8} c^{3} x^{9}+a \,b^{7} c^{3} x^{8}+4 a^{2} b^{6} c^{3} x^{7}+\frac {28}{3} a^{3} b^{5} c^{3} x^{6}+14 a^{4} b^{4} c^{3} x^{5}+14 a^{5} b^{3} c^{3} x^{4}+\frac {28}{3} a^{6} c^{3} b^{2} x^{3}+4 a^{7} c^{3} b \,x^{2}+a^{8} c^{3} x\)	\(114\)
norman	\(\frac {1}{9} b^{8} c^{3} x^{9}+a \,b^{7} c^{3} x^{8}+4 a^{2} b^{6} c^{3} x^{7}+\frac {28}{3} a^{3} b^{5} c^{3} x^{6}+14 a^{4} b^{4} c^{3} x^{5}+14 a^{5} b^{3} c^{3} x^{4}+\frac {28}{3} a^{6} c^{3} b^{2} x^{3}+4 a^{7} c^{3} b \,x^{2}+a^{8} c^{3} x\)	\(114\)
risch	\(\frac {b^{8} c^{3} x^{9}}{9}+a \,b^{7} c^{3} x^{8}+4 a^{2} b^{6} c^{3} x^{7}+\frac {28 a^{3} b^{5} c^{3} x^{6}}{3}+14 a^{4} b^{4} c^{3} x^{5}+14 a^{5} b^{3} c^{3} x^{4}+\frac {28 a^{6} c^{3} b^{2} x^{3}}{3}+4 a^{7} c^{3} b \,x^{2}+a^{8} c^{3} x +\frac {c^{3} a^{9}}{9 b}\)	\(125\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((b*x+a)^5*(b*c*x+a*c)^3,x,method=_RETURNVERBOSE)

[Out]

1/9*b^8*c^3*x^9+a*b^7*c^3*x^8+4*a^2*b^6*c^3*x^7+28/3*a^3*b^5*c^3*x^6+14*a^4*b^4*c^3*x^5+14*a^5*b^3*c^3*x^4+28/
3*a^6*c^3*b^2*x^3+4*a^7*c^3*b*x^2+a^8*c^3*x

________________________________________________________________________________________

Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 113 vs. \(2 (15) = 30\).
time = 0.26, size = 113, normalized size = 6.65 \begin {gather*} \frac {1}{9} \, b^{8} c^{3} x^{9} + a b^{7} c^{3} x^{8} + 4 \, a^{2} b^{6} c^{3} x^{7} + \frac {28}{3} \, a^{3} b^{5} c^{3} x^{6} + 14 \, a^{4} b^{4} c^{3} x^{5} + 14 \, a^{5} b^{3} c^{3} x^{4} + \frac {28}{3} \, a^{6} b^{2} c^{3} x^{3} + 4 \, a^{7} b c^{3} x^{2} + a^{8} c^{3} x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b*x+a)^5*(b*c*x+a*c)^3,x, algorithm="maxima")

[Out]

1/9*b^8*c^3*x^9 + a*b^7*c^3*x^8 + 4*a^2*b^6*c^3*x^7 + 28/3*a^3*b^5*c^3*x^6 + 14*a^4*b^4*c^3*x^5 + 14*a^5*b^3*c
^3*x^4 + 28/3*a^6*b^2*c^3*x^3 + 4*a^7*b*c^3*x^2 + a^8*c^3*x

________________________________________________________________________________________

Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 113 vs. \(2 (15) = 30\).
time = 0.29, size = 113, normalized size = 6.65 \begin {gather*} \frac {1}{9} \, b^{8} c^{3} x^{9} + a b^{7} c^{3} x^{8} + 4 \, a^{2} b^{6} c^{3} x^{7} + \frac {28}{3} \, a^{3} b^{5} c^{3} x^{6} + 14 \, a^{4} b^{4} c^{3} x^{5} + 14 \, a^{5} b^{3} c^{3} x^{4} + \frac {28}{3} \, a^{6} b^{2} c^{3} x^{3} + 4 \, a^{7} b c^{3} x^{2} + a^{8} c^{3} x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b*x+a)^5*(b*c*x+a*c)^3,x, algorithm="fricas")

[Out]

1/9*b^8*c^3*x^9 + a*b^7*c^3*x^8 + 4*a^2*b^6*c^3*x^7 + 28/3*a^3*b^5*c^3*x^6 + 14*a^4*b^4*c^3*x^5 + 14*a^5*b^3*c
^3*x^4 + 28/3*a^6*b^2*c^3*x^3 + 4*a^7*b*c^3*x^2 + a^8*c^3*x

________________________________________________________________________________________

Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 124 vs. \(2 (12) = 24\).
time = 0.05, size = 124, normalized size = 7.29 \begin {gather*} a^{8} c^{3} x + 4 a^{7} b c^{3} x^{2} + \frac {28 a^{6} b^{2} c^{3} x^{3}}{3} + 14 a^{5} b^{3} c^{3} x^{4} + 14 a^{4} b^{4} c^{3} x^{5} + \frac {28 a^{3} b^{5} c^{3} x^{6}}{3} + 4 a^{2} b^{6} c^{3} x^{7} + a b^{7} c^{3} x^{8} + \frac {b^{8} c^{3} x^{9}}{9} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b*x+a)**5*(b*c*x+a*c)**3,x)

[Out]

a**8*c**3*x + 4*a**7*b*c**3*x**2 + 28*a**6*b**2*c**3*x**3/3 + 14*a**5*b**3*c**3*x**4 + 14*a**4*b**4*c**3*x**5
+ 28*a**3*b**5*c**3*x**6/3 + 4*a**2*b**6*c**3*x**7 + a*b**7*c**3*x**8 + b**8*c**3*x**9/9

________________________________________________________________________________________

Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 113 vs. \(2 (15) = 30\).
time = 0.00, size = 119, normalized size = 7.00 \begin {gather*} \frac {1}{9} x^{9} b^{8} c^{3}+x^{8} b^{7} a c^{3}+4 x^{7} b^{6} a^{2} c^{3}+\frac {28}{3} x^{6} b^{5} a^{3} c^{3}+14 x^{5} b^{4} a^{4} c^{3}+14 x^{4} b^{3} a^{5} c^{3}+\frac {28}{3} x^{3} b^{2} a^{6} c^{3}+4 x^{2} b a^{7} c^{3}+x a^{8} c^{3} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b*x+a)^5*(b*c*x+a*c)^3,x)

[Out]

1/9*b^8*c^3*x^9 + a*b^7*c^3*x^8 + 4*a^2*b^6*c^3*x^7 + 28/3*a^3*b^5*c^3*x^6 + 14*a^4*b^4*c^3*x^5 + 14*a^5*b^3*c
^3*x^4 + 28/3*a^6*b^2*c^3*x^3 + 4*a^7*b*c^3*x^2 + a^8*c^3*x

________________________________________________________________________________________

Mupad [B]
time = 0.05, size = 113, normalized size = 6.65 \begin {gather*} a^8\,c^3\,x+4\,a^7\,b\,c^3\,x^2+\frac {28\,a^6\,b^2\,c^3\,x^3}{3}+14\,a^5\,b^3\,c^3\,x^4+14\,a^4\,b^4\,c^3\,x^5+\frac {28\,a^3\,b^5\,c^3\,x^6}{3}+4\,a^2\,b^6\,c^3\,x^7+a\,b^7\,c^3\,x^8+\frac {b^8\,c^3\,x^9}{9} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a*c + b*c*x)^3*(a + b*x)^5,x)

[Out]

a^8*c^3*x + (b^8*c^3*x^9)/9 + 4*a^7*b*c^3*x^2 + a*b^7*c^3*x^8 + (28*a^6*b^2*c^3*x^3)/3 + 14*a^5*b^3*c^3*x^4 +
14*a^4*b^4*c^3*x^5 + (28*a^3*b^5*c^3*x^6)/3 + 4*a^2*b^6*c^3*x^7

________________________________________________________________________________________